HAL8 Workshop: A Practical Approach to GHC Language Extensions Matthias Fischmann and S¨onke Hahn {mf,sh}@zerobuzz.net May 2, 2013 Abstract

Source URL: www.bioinf.uni-leipzig.de

• Functional programming
• Functional languages
• Data types
• Type theory
• Source code
• Generalized algebraic data type
• Haskell
• Type class
• Lisp
• Macro
• Guard
• Pattern matching

CS261: A Second Course in Algorithms Lecture #14: Online Bipartite Matching∗ Tim Roughgarden† February 18,

Source URL: theory.stanford.edu

A moment-matching Ferguson & Klass algorithm∗ Julyan Arbel1,2 and Igor Pr¨ unster1 1 2

Source URL: www.carloalberto.org

• Probability distributions
• Probability theory
• Boolean algebra
• Measure theory
• Sigma-algebra
• Gamma function

Possible papers for the seminar The assignment game I: The core L. S. Shapley, M. Shubik Job Matching, Coalition Formation, and Gross Substitutes

Source URL: u.cs.biu.ac.il

• Fellows of the Econometric Society
• Auctions
• Auction theory
• Guggenheim Fellows
• Auction
• Alvin E. Roth
• Online auction
• va Tardos
• Tayfun Snmez
• Matching theory

The center stable matchings and the centers of cover graphs of distributive lattices Christine T. Cheng∗ Eric McDermid†

Source URL: www.cs.uwm.edu

• Matching
• Lattice theory
• Combinatorial optimization
• Lattice
• Duality
• Bipartite graph
• Distributive lattice
• 3-dimensional matching
• Keyword cipher

MAX CUT in cubic graphs Eran Halperin ∗ Dror Livnat

Source URL: www.cs.tau.ac.il

• Graph theory
• Combinatorial optimization
• NP-complete problems
• Matching
• Maximum cut
• Clique
• Graph
• Cubic graph
• Degree
• Cut
• Directed graph
• Line graph

RAPID Programming of Pattern-Recognition Processors Kevin Angstadt Westley Weimer Kevin Skadron

Source URL: cap.virginia.edu

• Finite automata
• Software engineering
• Computer programming
• Software
• Nondeterministic finite automaton
• Automata theory
• Finite-state machine
• Lex
• Regular expression
• Macro
• Pattern matching

Residual Splash for Optimally Parallelizing Belief Propagation Joseph E. Gonzalez Carnegie Mellon University Yucheng Low

Source URL: select.cs.cmu.edu

• Graph theory
• Mathematics
• Discrete mathematics
• Coding theory
• Graphical models
• Belief propagation
• Probability theory
• Matching
• Low-density parity-check code
• Ear decomposition
• Algorithm

CENTRAL BANK OF ICELAND The Ins and Outs of Icelandic Unemployment By Bjarni G. Einarsson

Source URL: www.cb.is

• Unemployment
• Economy
• Economics
• Labour Force Survey
• Labour economics
• Matching theory
• Unemployment in the United States
• Beveridge curve

Parameterized Algorithms for Recognizing Monopolar and 2-Subcolorable Graphs∗ Iyad Kanj1 , Christian Komusiewicz2 , Manuel Sorge3 , and Erik Jan van Leeuwen4 1 2

Source URL: users.minet.uni-jena.de

• Graph theory
• Cluster graph
• Matching
• Clique
• Ear decomposition
• Neighbourhood
• NP-complete problems
• Line graph
• Graph coloring